Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
781	COMP 520 FallType checking (1) COMP 520 Fall 2007 Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-15 11:10:49 Type theory Symbol Type system Mathematical logic Logic in computer science Theoretical computer science Automated theorem proving Logic programming
782	SIAM J. COMPUT. Vol. 32, No. 3, pp. 681{So iety for Industrial and Applied Mathemati s Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2007-05-07 11:16:23 Mathematics Polynomials Theoretical computer science Functions and mappings Computer algebra Limit of a function PP IP Quantum algorithms
783	Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic Adam Chlipala Harvard University PLDI 2011 Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Theoretical computer science Logic in computer science Formal methods Constraint programming Electronic design automation Satisfiability modulo theories Separation logic Mathematical logic Logic programming Logic
784	Lev Reyzin Clique Talk, 2007   Add to Reading List Source URL: www.levreyzin.com Language: English - Date: 2009-10-27 11:25:10 Mathematics Graph coloring NP-complete problems Hypergraph Discrete mathematics Theoretical computer science
785	Quantum Money from Hidden Subspaces Add to Reading List Source URL: theoryofcomputing.org Language: English - Date: 2014-11-14 13:01:23 Quantum information science Theoretical computer science Quantum cryptography Quantum computing Cryptography Quantum mechanics Quantum algorithm Quantum money Quantum key distribution Quantum information Quantum entanglement Ring learning with errors key exchange
786	Patricia BOUYER-DECITRE Office: LSV – CNRS & ENS de Cachan 61, avenue du Pr´esident WilsonCachan – France Tel: +41 Fax: +21 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-07-01 16:25:40 Theoretical computer science Engineering Electrical engineering Formal methods Grandes coles Rajeev Alur Model checking Formal verification Cachan cole Normale Suprieure Ens Computer Aided Verification
787	A Computational Space for the Web of Things Simon Mayer David S. Karam Inst. for Pervasive Computing Add to Reading List Source URL: www.vs.inf.ethz.ch Language: English - Date: 2012-06-04 05:34:23 Engineering Theoretical computer science Academia Algorithm Mathematical logic Computing Computational science Google Apps Marketplace Computer science
788	Control-Flow Analysis of Dynamic Languages via Pointer Analysis Steven Lyde William E. Byrd Add to Reading List Source URL: matt.might.net Language: English Lambda calculus Computability theory Theoretical computer science Control flow analysis Pointer Unification Closure Lambda calculus definition Lambda lifting
789	The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS) Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:45:46 Theoretical computer science Logic in computer science Software engineering Formal methods Models of computation Parallel computing Programming language semantics Denotational semantics Abstract interpretation Semantics Astre
790	Backwards Abstract Interpretation of Probabilistic Programs David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:44:01 Operator theory Theoretical computer science Measure theory Mathematics Analysis Denotational semantics Logic in computer science Hermitian adjoint Support Expected value Abstract interpretation Adjoint functors

UPDATE